Mathematical logic - PDFSEARCH.IO - Document Search Engine

Mathematical logic
Results: 6679

#	Item
741	PDF Document Add to Reading List Source URL: jg.sdf.org Language: English - Date: 2015-04-27 13:44:12 Logic Mathematical logic Mathematics Model theory Substitution Peano axioms Interpretation Constructible universe Compactness theorem Symbol Principia Mathematica operator
742	PDF Document Add to Reading List Source URL: cs.uwaterloo.ca Language: English - Date: 2014-05-02 10:34:25 Logic Mathematical logic Predicate logic Metalogic Model theory First-order logic Resolution Extension FO Functional dependency
743	PDF Document Add to Reading List Source URL: aplas12.kuis.kyoto-u.ac.jp Language: English - Date: 2012-08-27 03:23:05 Programming language theory Model checking Mathematical logic
744	PDF Document Add to Reading List Source URL: tcs.postech.ac.kr Language: English - Date: 2014-06-15 09:21:09 Theoretical computer science Algorithm Mathematical logic International Symposium on Algorithms and Computation Randomized algorithm
745	Decreasing energy functions for some cellular automata E. Goles * Department of Mathematics Engineering School University of Chile Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 1998-04-13 22:11:03 Combinatory logic Lambda calculus Logic in computer science Stochastic processes Estimation theory Heat equation Itō diffusion Statistics Mathematics Mathematical analysis
746	A Lambda Calculus for Real Analysis Paul Taylor1 Andrej Bauer2 1 Department Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:32:31 Theoretical computer science Theory of computation Functions and mappings Function Computable function Algorithm characterizations Primitive recursive function Mathematics Computability theory Mathematical logic
747	The roles that artefacts play: Add to Reading List Source URL: www-edc.eng.cam.ac.uk Language: English - Date: 2013-04-03 15:22:38 Logic Function Interpretation Static single assignment form Mathematics Mathematical logic Functions and mappings
748	Pseudo-Naive Evaluation Donald A. Smith Mark Utting Department of Computer Science The University of Waikato Private Bag 3105, Hamilton, New Zealand Add to Reading List Source URL: www.cs.waikato.ac.nz Language: English - Date: 2010-06-14 20:29:16 Mathematical logic Programming idioms Logic programming Prolog Deductive database Clause Stratification Horn clause Recursion Computer programming Software engineering Computing
749	Are Collections Sets? Karen M. Wickett, Allen H. Renear Jonathan Furner Center for Informatics Research in Science and Scholarship Add to Reading List Source URL: www.asis.org Language: English - Date: 2014-07-19 18:54:34 Set theory Z notation Predicate logic Functions and mappings S Equivalence relation Binary relation Finitary relation Zermelo–Fraenkel set theory Mathematical logic Mathematics Logic
750	Proceedings Template - WORD Add to Reading List Source URL: oa.upm.es Language: English Mathematical logic Arity Finitary relation Structure Binary relation Inverse relationship Relation Inverse element Inverse Mathematics Universal algebra Abstract algebra